منابع مشابه
Talking Bananas
Session types provide static guarantees that concurrent programs respect communication protocols. We give a novel account of recursive session types in the context of GV, a small concurrent extension of the linear λ-calculus. We extend GV with recursive types and catamorphisms, following the initial algebra semantics of recursion, and show that doing so naturally gives rise to recursive session...
متن کاملFluorescent chlorophyll catabolites in bananas light up blue halos of cell death.
Breakdown of chlorophyll is a major contributor to the diagnostic color changes in fall leaves, and in ripening apples and pears, where it commonly provides colorless, nonfluorescent tetrapyrroles. In contrast, in ripening bananas (Musa acuminata) chlorophylls fade to give unique fluorescent catabolites (FCCs), causing yellow bananas to glow blue, when observed under UV light. Here, we demonstr...
متن کاملSquare bananas, blue horses: the relative weight of shape and color in concept recognition and representation
The present study investigates the role that shape and color play in the representation of animate (i.e., animals) and inanimate manipulable entities (i.e., fruits), and how the importance of these features is modulated by different tasks. Across three experiments participants were shown either images of entities (e.g., a sheep or a pineapple) or images of the same entities modified in color (e...
متن کاملDealing with Large Bananas
Many problems call for a mixture of generic and speci c programming techniques. We propose a polytypic programming approach based on generalised (monadic) folds where a separation is made between basic fold algebras that model generic behaviour and updates on these algebras that model speci c behaviour. We identify particular basic algebras as well as some algebra combinators, and we show how t...
متن کاملBananas, Dark Worlds, and AspectH
This report summarises our idea of code clone detection in Haskell code and refactorings based on identified clones as it evolved in our group-of-three discussion. 1 Motivation Looking at the code example below, we observe a certain level of redundancy, in particular structural redundancy, such as pattern matching , if-then-elseconstructs, and recursion . addOdds :: Integral a => [a] -> a addOd...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature Chemistry
سال: 2008
ISSN: 1755-4330,1755-4349
DOI: 10.1038/nchem.81